lower semilattice

下半格